Meaning explanations at higher dimension
نویسندگان
چکیده
منابع مشابه
Meaning explanations at higher dimension
Martin-Löf’s intuitionistic type theory is a widely-used framework for constructive mathematics and computer programming. In its most popular form, type theory consists of a collection of inference rules inductively defining formal proofs. These rules are justified by Martin-Löf’s meaning explanations, which extend the Brouwer-Heyting-Kolmogorov interpretation of connectives to a rich collectio...
متن کاملType Theory and its Meaning Explanations
At the heart of intuitionistic type theory lies an intuitive semantics called the “meaning explanations”; crucially, when meaning explanations are taken as definitive for type theory, the core notion is no longer “proof” but “verification”. We’ll explore how type theories of this sort arise naturally as enrichments of logical theories with further judgements, and contrast this with modern proof...
متن کاملMeaning and Explanations of Mental Illness: A Social Representations Approach
can be found at: Psychology & Developing Societies Additional services and information for http://pds.sagepub.com/cgi/alerts Email Alerts: http://pds.sagepub.com/subscriptions Subscriptions: http://www.sagepub.com/journalsReprints.nav Reprints: http://www.sagepub.com/journalsPermissions.nav Permissions: http://pds.sagepub.com/cgi/content/refs/17/1/1 SAGE Journals Online and HighWire Press pla...
متن کاملProgram Testing and the Meaning Explanations of Intuitionistic Type Theory
The relationship between program testing and Martin-Löf’s meaning explanations for intuitionistic type theory is investigated. The judgements of intuitionistic type theory are viewed as conjectures which can be tested in order to be corroborated or refuted. This point of view provides a new perspective on the meaning of hypothetical judgements, since tests for such judgements need methods for g...
متن کاملMirror Manifolds in Higher Dimension
We describe mirror manifolds in dimensions different from the familiar case of complex threefolds. We emphasize the simplifying features of dimension three and supply more robust methods that do not rely on such special characteristics and hence naturally generalize to other dimensions. The moduli spaces for Calabi–Yau d-folds are somewhat different from the “special Kähler manifolds” which had...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Indagationes Mathematicae
سال: 2018
ISSN: 0019-3577
DOI: 10.1016/j.indag.2017.07.010